Model Driven Testing Based on Test History

نویسندگان

  • Isaac Corro Ramos
  • Alessandro Di Bucchianico
  • Lusine Hakobyan
  • Kees M. van Hee
چکیده

We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems. We propose an exhaustive test procedure that uses the knowledge of system structure and the prior test history. Since exhaustive testing is not always feasible, we also present a statistical release procedure based on the characteristics of the system and the test history.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nusselt Number Estimation along a Wavy Wall in an Inclined Lid-driven Cavity using Adaptive Neuro-Fuzzy Inference System (ANFIS)

In this study, an adaptive neuro-fuzzy inference system (ANFIS) was developed to determine the Nusselt number (Nu) along a wavy wall in a lid-driven cavity under mixed convection regime. Firstly, the main data set of input/output vectors for training, checking and testing of the ANFIS was prepared based on the numerical results of the lattice Boltzmann method (LBM). Then, the ANFIS was develope...

متن کامل

Robust Controller Design Based-on Aerodynamic Load Simulator Identification Driven by PMSM for Hardware-in-the-Loop Simulations

Aerodynamic load simulators generate the required time varying load to test the actuator’s performance in the laboratory. Electric Load Simulator (ELS) as one of variety of the dynamic load simulators should follows the rotation of the Under Test Actuator (UTA) and applies the desired torque to UTA’s rotor at the same time. In such a situation, a very large torque is imposed to the ELS from the...

متن کامل

A Constraint-Based Framework for Test Case Generation in Method-Level Black-Box Unit Testing

Automatic test case execution in test-driven development provides an excellent return on investment. However, test cases in test-driven development are usually designed manually. Manual acquisition of test cases is laborious, time-consuming, and error-prone. Model-based testing is a technique to automatically generate test cases from software models. Model-based test-driven development provides...

متن کامل

AcceptSoftware: A Tool for Executable Acceptance Test Driven Development

This paper introduces AcceptSoftware which is a tool to easily create and run client readable acceptance tests, and describes how it can be used to allow a simple but powerful acceptance-test driven software development. We then describe our AcceptSoftware tool that extends EasyAccept by maintaining a history of acceptance test results. Based on the history, AcceptSoftware is able to generate r...

متن کامل

An MDA Approach to Testing the Tarzan Model Transformation Engine Model-Based Test Driven Development of the Tarzan Model-Transformation Engine

Tarzan is an implementation of a ruleand pattern-based engine for the transformation of models defined using the Object Management Group’s (OMG) Model-Driven Architecture (MDA). The process for the development of the engine included the concurrent development of a unit test suite for the engine. The test suite is constructed as a number of models, whose elements comprise the test cases, and whi...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Trans. Petri Nets and Other Models of Concurrency

دوره 1  شماره 

صفحات  -

تاریخ انتشار 2008